function insert_a_record()
{
    var p = document.getElementById("progress");
    var i = parseInt(p.value)+10;
    p.value=i;
}